Here at Google we go to great lengths to make people productive by allowing them to have choices with the technology they choose to do their work. I had thought that would be very, very costly. To my surprise I’ve discovered, and third-party benchmarks have verified, that when you give people the choice of their toolset, they end up supporting themselves much more.